Rosenthal compacta and NIP formulas
نویسندگان
چکیده
منابع مشابه
Rosenthal compacta and NIP formulas
We apply the work of Bourgain, Fremlin and Talagrand on compact subsets of the first Baire class to show new results about φ-types for φ NIP. In particular, we show that if M is a countable model, then an M -invariant φ-type is Borel definable. Also the space of M invariant φ-types is a Rosenthal compactum, which implies a number of topological tameness properties. Shelah introduced the indepen...
متن کاملA Classification of Separable Rosenthal Compacta and Its Applications
Contents 1. Introduction 2 2. Ramsey properties of perfect sets and of subtrees of the Cantor tree 8 2.1. Notations 8 2.2. Partitions of trees 9 2.3. Partitions of perfect sets 11 3. Increasing and decreasing antichains of a regular dyadic tree 11 4. Canonicalizing sequential compactness of trees of functions 14 4.1. Sequential compactness of trees of functions 14 4.2. Equivalence of families o...
متن کاملA Strong Boundedness Result for Separable Rosenthal Compacta
Our main result is a strong boundedness result for the class of separable Rosenthal compacta (that is, separable compact subsets of the first Baire class – see [ADK] and [Ro2]) on the Cantor set having a uniformly bounded dense sequence of continuous functions. We shall denote this class by SRC. The phenomenon of strong boundedness, which was first touched by A. S. Kechris and W. H. Woodin in [...
متن کاملBase-free formulas in the lattice-theoretic study of compacta
The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of ...
متن کاملStability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces
We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, ‘Talagrand’s stability’, and explain the relationship between this property and NIP in continuous logic. Using a result of Bourgain, Fremlin and Talagrand, we prove the ‘almost and Baire 1 definability’ of types assuming NIP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2015
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm231-1-5